$\forall$$A$:MsgA, $i$:Id. Feasible($A$) $\Rightarrow$ (@$i$ $A$) $\parallel$ (@$i$ $A$)